Inline Evaluation of Hybrid Knowledge Bases - PhD Description
نویسندگان
چکیده
I Hybrid Knowledge Bases: combining KBs in different formalisms I Ontologies + Rules I Ontology Father ≡ Man u ∃hasChild.Human I Rule fly(X)← bird(X), not penguin(X). I Combination Approaches: I Loose Coupling Approaches: DL-Programs, F-Logic# KBs I Tight Coupling Approaches: SWRL, r-Hybrid KBs, ELP I Embedding Approaches: MKNF KBs, Open ASP, g-Hybrid KBs I Aim of this work: improve the efficiency of reasoning over DL-Programs DL-Programs
منابع مشابه
Guarded hybrid knowledge bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the DL+log knowledge bases from (Rosati 2006). G-hybrid knowledge bases enable an integration of Desc...
متن کاملG-Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define g-hybrid knowledge bases as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similarly to the DL+log knowledge bases from [25]. G-hybrid knowledge bases enable an integration of Description Logics and Logic Programming where,...
متن کاملInconsistences in Hybrid Knowledge Bases
Hybrid knowledge bases (KBs) are a well-known paradigm for combining nonmonotonic rules and description logic ontologies, which gained increasing attention in the past years. Such hybrid KBs have the potential of becoming very powerful tools for knowledge representation and reasoning. However, the interaction between rules and ontologies might cause undesired inconsistencies, making the whole s...
متن کاملSplitting and updating hybrid knowledge bases
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use ...
متن کاملA Hybrid Reasoning System for Terminologies and Clause Sets
Description logics (DLs) theoretically explore knowledge representation and its reasoning in concept languages. However, due to the concept-oriented notion, these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge bases; specifically, rules and facts in logic programming, or the interaction of rules and facts with terminology. In order to deal with the enrich...
متن کامل